
import sketch.ounit.Values;
import sketch.specs.annotation.TestSketch;
import junit.framework.TestCase;

public class SymbolicValueExample extends TestCase {
	@TestSketch
	public void testTreeMap() {
		treemap.TreeMap map = new treemap.TreeMap();
		map.put(1);
		map.put(2);
		map.put(-2);
		map.put(999);
		map.remove(Values.symbolicInt());
	}
}
